impossible burger subgroup of hamburger, 1 assertions