edge aspect of prism, 3 assertions