Title: Postulates for assertion, conjunction, negation, and equality