316	 An Algorithm for Equivalence Declarations
