Mizar5 revisited

(click image)

(illustration: alagram uk)