Keywords – proof of nonconsequence