...

...

...

Smartphone connected.

Oh, come on.

There we go.

So, no.

Are you coming?

Are you coming?

That won't work.

Excellent.

So, remember,

last week in the theory session.

We looked at essentially fragment one plus pronouns.

And one of the sentences we wanted to do is

Peter.

No, I go.

He

was a very good friend of mine.

And we invited him.

We just.

Took the shortcut of introducing variables.

I was under specified representations.

Why.

Okay.

And the idea was that.

Using a tableau calculus.

We would.

Put the variables in.

And the other thing that we did was we.

We did a couple of things.

One is that.

We use it as a theorem.

I look at.

Label it by false.

Systematically develop this.

To a tableau.

A tableau.

That is saturated.

We think.

We cannot apply any more roles.

And then.

When the branches close.

Then we've shown that it's impossible to make the.

Conjecture false.

So it must be true.

Always.

So it's a fair.

And that's one mode of driving.

The tableau.