Similar Items: Conway’s Normal Form in the Mizar System