Prefer a chat interface with context about you and your work?
Termination of (many) 4-dimensional log flips