public boolean variablesIn(HashSet<String> known) { boolean ret = false; if (left.variablesIn(known) && right.variablesIn(known)) { ret = true; } return ret; }