theoretical astronomy subgroup of astronomy, 4 assertions