ALGEBRAS OF DISTRIBUTIONS FOR ISOLATING FORMULAS OF A COMPLETE THEORY