Mizar_(star) loading ...