leaf clover subgroup of clover, 4 assertions