nit: typo in 'simplifies'