Logic problems