input aspect of latch, 13 assertions