How can all this be formalized?
Kuinka tämä kaikki voitaisiin formalisoida?