BC42 ProB thinking