Text this: A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics