During the past week Jan has been working on identifying a self-contained set of definitions that is sufficient for a presentation of the
interval Picard algorithm to an audience outside the interval methods community. Next, Jan will write a minimal Scala implementation of the identified operations to serve as reference for future work.