trying : Mizar CD 1 c<br>