btw, he's basically trying to take complex ideas that exist in the real world and reduce them to mathematical abstractions. This fails for the same reason that formal logic usually fails in practice-these symbolic relationships (like "a, therefore b" or "if p then q") may work in theory, but in practice they are often too simple to apply.