Mamdani and the Martian Option