But the first draft of the article was already stuffed too full without even trying to go past propositional logic; it had to be cut, not expanded.
