structure aspect of tin, 1 assertions