mandamus_lawsuit