Completed equalities