This change is a terminology cleanup in remove-aliases.py: the grammar rule, recursive parser references, comments, and working variables now consistently use formula instead of entailment. The behavior of the alias-removal pipeline does not appear to change, but the code is easier to follow and better matches the broader concept the script is actually parsing. Practical effect: no functional difference, just clearer parser semantics for future maintenance.