structure aspect of sponge, 1 assertions