ruff

92c4532c - smallest minimizations of terminals