Logic from Berlin