Select one of the symbols from the bottom and drag it to the thought bubble.

If you make a mistake, double click an item to delete it and then try again.

Frege is happy because he has finally found a way to make everything logic.

Hopefully no other logicians will find a problem with Frege's theory...

You haven't got every sentence true yet.

We need to make someone in the scene happy.