I'm going to do this.

So I didn't explain why minus 2.

Because I printed it just now and I didn't have time to write the details.

But we have discussed this example last time.

I didn't know you could watch it, the recorder.

So there was a very nice solution presented.

It troubles your work.

Ah, okay, so for example, you just didn't compile, right?

Because this will not compile.

Because floating will require implementing correction.

So we did it.

Okay, well, this one I did with an old...

I think the one I tried it with, it did compile.

That must be variables compiled.

I first had 7.6 and then I just noticed that when I did the new one,

because there I needed that some monoid is an instance of...

The monoid from here, right?

Yeah, that was for the next one.

And that's the point where I noticed that I had a very old version of the Hasbro compiler.

So then there are some other things like this would require summation on the...

Ah, well, okay, I didn't know this is current.

Yes.

So yeah, the frozen now that I installed 7.10, this will probably not compile.

And I'm pretty sure that it will compile with the 7.6 version.

Okay, this thing, and then...

Yeah, it's interesting to see if it will pass anyway.

And this also doesn't make much sense, I think, because it's just taken from complex numbers.

It may correspond to taking, well, absolutely any other number.

And this is also because it might have something like this,

minus 2 plus square root of 2, minus 2, and then this would produce 2, minus 1, what?

So you need to do some analysis, and so other people did it.

Yeah.

The thing was probably that it's...

Yes, you can have yours.

And you are...

So I hope I was liberal.

As I said, there were these two parts which were hard,

and I just didn't subtract any points from them.

So there was this proof of the sort of monotone law.

But there was one thing, and there was this calculation, it was 42.

A demotational semantic outcome program, which was terminated only in this 42,

and there were a version of other cases.

So I don't know if that just didn't count.

And you managed to do it, still, in school?

I think he tries to do the exercises, but...

Is it that guy in the...

No, that's yet another guy.

Because he wrote me an email that he wanted to do together with someone else,

but that someone else quit, and he couldn't finish his exercise,

but he would find a group.