bugfix. Allow distinct to be used for both formulae and terms.
bugfix. Allow distinct to be used for both formulae and terms.



kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp