Meanwhile the semantics of objects, especially one named “Output”, are super obvious and easy to reason about.