So. The for So. To  to come full circle on that , this formalization task , OK ? is trying to get the formalism into  into a shape where it can actually uh
Yeah. Be of use to someone who 's trying to do this , right ?
d Well , yeah , where it actually is  is  covers the whole range of things. And the  the  the  the thing that got Mark into the worst trouble is he had a very ambitious thing he was trying to do , and he insisted on trying to do it with a limited set of mechanisms. It turned out , inherently not to cover the space.
OK.