ProAct.prob documented :books: