Logical Labyrinths