Standard Simplifiers [dev.]