test passes for all possible inputs