In other words (reading our operations from left to right as a programming language, not right to left as is typical for functions): and the goal of a theoryfull scientist is to learn and the state space it operates on (if that can be represented as something simpler than all possible lambda-terms).