inner moon subgroup of moon, 4 assertions