edge aspect of mirror, 18 assertions