mandamus proceedings