magic mirror subgroup of mirror, 1 assertions