Text this: Polynomial runtime in simulatability definitions.