input aspect of gate, 25 assertions