real magic subgroup of magic, 1 assertions