implemented proposal operations