When Logic Becomes a Problem