Remove SAT promises