BadClause – Q ss .