Synthetic Philosophy of Contemporary Mathematics pocketEngelska, 2012