A tautology's truth is certain, a proposition's possible, a contradiction's impossible. - Ludwig Wittgenstein