brown hare subgroup of hare, 3 assertions