hard maple subgroup of maple, 2 assertions