wall mirror subgroup of mirror, 3 assertions