Fixed and Completed Equality