work on alg: testing of input logic