Two scripts - one for variable literals, one for variable clauses