ProB2 Mono Handbook