x
Negation of propositions - History — AI Alignment Forum