Text this: A method of epsilon substitution for the predicate logic with equality.