Proving Power And Ability Mir4