Tag: What is a writ of mandamus and when is it used?