terminal aspect of relay, 6 assertions