remove statement that is not yet true