Finished 1st draft of section on D3
Working on describing the tools available in ProB.
Writing writing writing! 
15 pages. Time to go home.