up to rule B12
Missing verbose mode only