An unprovable assertion.