German logic