Models, Methods, Software

This work is taking longer than I expected; my experience has been that research is like that.

Plus, writing documentation sufficient for independent verification is hard, because writing is hard. Writing lots of information takes lots of time.

Plus, the moto riding season is here.

Plus vacation time is here.