Etiqueta: What happens after a successful mandamus order?