edge aspect of chisel, 3 assertions