dry snorkel subgroup of snorkel, 3 assertions