Finish with equality assertions