a year after marcos was ousted from power during the people power revolution, the government under corazon aquino signed the 1987 jeddah accord in saudi arabia with the mnlf, agreeing to hold further discussions on the proposal for autonomy to the entirety of mindanao and not just the thirteen provinces stated in the 1976 tripoli agreement. in 1989, however, an act establishing the autonomous region in muslim mindanao was passed. the mnlf demanded that the thirteen tripoli agreement provinces, majority of which were christian provinces, be included in the armm, but the government refused; eight of those provinces were predominantly christian. shortly thereafter, the government held only four provinces as only lanao del sur, maguindanao, sulu and tawi-tawi voted to be included in the armm. the four provinces were the only muslim-majority provinces at the time.