So, as I said, it doesn't count, but since you worked on it, maybe I decided to include it.

Yeah, the problem is that two of us didn't really have a computer-sized desktop.

But this is your one, right?

And we are here, for trying math.

But we are not having enough.

This is what the exercise is all about. If you have troubles, let's just resolve them.

Let's do something simpler, let's consider a question that you didn't understand.

The issues we had are too messy at once.

We have one or two, I don't know.

How many hands do you expect us to stand on from one exercise sheet?

One exercise sheet? I mean, like, in hours?

Seven hours, I would say.

Two hours, maybe. Is it too much?

Yeah, it's more like two days.

No, two hours, I mean two days.

Ah, yeah, this is what happens in the university.

So what's the problem?

The problem is what, for example, this exactly will...

What does the semantic bracket exactly mean?

I looked everywhere, but I didn't find...

But it's not necessarily...

Yes, the page on it, but it's with me, only this.

And the sheet that you wrote in there, and you put it on the context.

You just take one, the match with the left hand side, you write it to the right hand side.

I mean, okay, that's one thing.

Really, I'm not going to do it.

I don't know, probably.

I mean, we're going to do it now, okay?

But first I want to gather your exercises and see what we will proceed.

So, you wrote this one, yes?

You can actually do it on the laptop.

I mean, you've seen how it works with the first exercise, where there was a slam,

which no one proved, and asked Paul to do it, and he just did it from scratch in ten minutes.

So, that was one...

Ah, he wasn't here, but the others were there, right?

So...

He didn't appear, but he just went to the board.

That's how I expected it to be made.

So, that was about the first exercise, this echolens of Cold Bavarian, Cold Baneater,

this lemma about their cripples from the first assignment.

First exercise.

So, how much did it take?

I didn't prove the lemma, because...

Okay, you didn't prove the lemma, but you proved rest, right?

I think that was much easier than this.

Okay, so you say this one is more difficult.

And what's the most difficult part of this?

The second one?

Probably the first.

Yes.