Equational Applications