trying : Mizar D 1 a