File:MizarRewrite.png