Your next course will be:

Models, Pragmatics and Artificial Set Theory

made by Malvin Gattinger