Definition of MANDAMUS,