I'm working on Formal Methods again. I really want to finish this last assignment as soon as possible, so I can finish my final paper.

It's going well, I've done the most difficult parts. The document I'll submit contains some beautiful pictures.