known moon subgroup of moon, 4 assertions