Individual dispatch methods
Recursive simplification