trying : Mizar CD 2 d<br>