water snake subgroup of snake, 4 assertions