I would say having an observable state of running vs not could be considered output. If you could start sleep, but not tell when it finished, it would be quite

I would say having an observable state of running vs not could be considered output. If you could start sleep, but not tell when it finished, it would be quite useless. So I think requiring "output" for a programming language is fine. You just have to be very general about what "output" is.