Title: Simplification in practice