It was just this uh construction analyzer. And so we think  we think we have a shot at  at that.
OK.
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 ?