}
@Override
public TruthValue contains(Expression element) {
if (element instanceof Tuple) {
Tuple tuple = (Tuple) element;
return TruthValue.valueOf(tuple.length() == 2 && tuple.at(1).equals(lhs) && tuple.at(2).equals(rhs));
} else {
return TruthValue.False;
}
}