"recursively enumerable" proposition- namely a question that cannot ever be answered NO, but CAN be answered yes.