@larsrh The other one throws on calls to #product.  Do you think it'd be better to just extend the Dummy ADT?