Can we do that? For automatic simplification, we need two ingredients.

We need a strategy that does the simplification for us basically that tells us how to simplify.

Code simplification, UI suggestions.

This looks like a simplification.

And we need an automatic test that checks whether our simplification succeeded or not.

So far for the automated test now comes the simplification strategy.

But right now, for simplification, we're assuming a risk free discount rate.

Well, this is a nice, neat simplification.

So we're going to hand over the process of simplification over to a machine, resulting in automatic simplification.

Obviously, simplification works, but if you as a human do simplification, you may not be entirely happy with it.

And I'm going to do a slight simplification.

Now let's get back to our simplification scheme.

Debt isn't the only kind of liability, but that's a pretty reasonable simplification for now.

That is because manual simplification is tedious and boring.

Even though there's no arithmetic simplification that I can perform,

In this case the binary search algorithm is stuck, because the first half doesn't result in a simplification, second half doesn't result in a simplification either.

Scott McCloud and his book, Understanding Comics, talks about amplification through simplification.

However, we can also translate this binary search approach directly into a program which does the simplification for us.

No need for that.

Your need for exploration.

No need for threats.

No need for fear.

But from now on we'll have the simplification that debt is your liability.

And this slide here is the best simplification of the Great Divergence story

We need accommodation for six.

Need we wait for her?

There's no need for violence.

What's he need you for?

CA We need someone for.

We need him for questioning.

Absolutely no need for that!

There's no need for that!

There's no need for that.

You need it for yourself.

There isn't any need for.

But the need for secrecy?

No need for extermination camps.

No need for parroted lines.

No need for final words.

You need him for something?

They need us for something.

They need us for something.

Automatic simplification works especially well in situations where the tests are also generated automatically.

And just as a simplification, mu could be a function of x and y.

There's no need for the bakery, no need for information. Here is my planet...