Reuse symbolic variables for clauses of same either.