edge aspect of cube, 7 assertions