can now use quantified expressions in arguments to tailor-made potentials