This is an invitation to social calculus. If you don’t mind, please start with the assumption of contradiction, not with the assumption of statement. You don’t lose anything because a contradiction is a statement as well. Yet it combines positive and negative value.
For any social calculus this seems more than appropriate.