Text this: Topological modular forms and the absence of a heterotic global anomaly.