[] (read_one_is_one -> (<> read_two_is_one))