Working notes from our own builds: formal methods write-ups on one shelf, the lab's logbook on the other.