input aspect of multiplexer, 20 assertions