Yes to all this. I think such a system should basically be used like a spell checker. Whether you accept or reject individual propositions is private informatio

Yes to all this. I think such a system should basically be used like a spell checker. Whether you accept or reject individual propositions is private information, though anyone can edit the public database of propositions. If it ever works at all, that is.