fix

guess.ts

@@ -45,7 +45,7 @@ async function loadConstants() {
 }
 
 function joinWithAnd(clauses: string[]) {
-	return `and (1 ${clauses.join(" ")})`;
+	return `${clauses.join(" ")}`;
 }
 function joinWithOr(clauses: string[]) {
 	const wrappedClauses = clauses.map(c => `(1 ${c})`)