Tag: What happens if a mandamus petition is denied?