Introduced BadStateException; do not compute procession too often