Golden Testing a CAD Library

Who's That Monoid?