Qbf is possible