in Input boolean_where.txt