to revolve [ revolved ; revolved ]