(Breaking all things using LF for a while) Attempt to prove complete LF termination