Update B2B image
Add formal representation to the FMK use case (in progress).
Tidy up some of the other files.