The challenge is there is no way to know if an account is being run by a human or a bot. And we certainly couldn't rely on voluntary disclosure, as people running bots would just lie and say they were

My background is not in mathematics, but it sounds to me that a proposed constitution written in a formal, mathematic language may be an idealistic impossibility. Isn't this what Gödel proved impossible