A small step for interface design, but a great step for TriComp