This [wasn't supposed to come up](https://github.com/LincolnUniLTL/calibr#assumptions), but has just this one time at Lincoln (and apparently does plenty at other places). That's enough to bother me. Not going to be a trivial adjustment.