Petr Pudlák Florian Rabe Geoff Sutcliffe