https://123dok.net/document/6qm0ne9y-a-note-on-functional-observability.html