Higher Contradictions