input output subgroup of output, 4 assertions