Text this: Statman's Hierarchy Theorem