Logic chases truth up the tree of grammar.