Okay

I also have to apologize for there will be a lot of coughing

but I'm very happy to

be somewhat vertical again.

We'll have to make do with that.

Right

also something I looked up which was interesting.

660 of you have registered for the exam

which is an absolute record number.

We'll see how many people will actually come.

So there's probably going to be an additional logistical nightmare added to the cheat sheets

which is going to be a nightmare no matter what we do.

But we'll somehow cope.

Are there any questions about the exam on your side?

Yes?

I hope.

So I don't know what went wrong.

I've alerted the group and maybe there is a test at five.

Otherwise

we can

I would say

negotiate.

I'm not sure I want to do it on Thursday

given that many of you have problems

with that.

We could just basically make it at any time

of course.

We could have a short discussion on that if it doesn't work at five.

Okay?

Good.

Any more questions?

You know, I don't really care about the quizzes that much.

They're for you.

As long as there is a sufficient threat potential that gets you into actually learning the material

we don't need the quizzes at all, really.

Right.

But of course, if I don't do the quizzes, then the threat potential goes away, so I

have to.

Okay, good.

So I know that you've looked at the Tableau calculus.

The Tableau calculus is a good example of a calculus that's not designed to be easy

to understand for humans or give us proofs that you can take to convince your grandmother

that certain things are correct

but to make things easy to implement.

And you've probably also seen and understood that the Tableau calculus is essentially a

way of developing a formula into a disjunctive normal form.

And then in a disjunctive normal form

a disjunctive normal form in this case

with certain amounts