"A tautology's truth is certain, a proposition's possible, a contradiction's impossible."