ramp aspect of interchange, 3 assertions