Mamdani IMO proves