B Case Tutorial - progress reports