See BypassableAbstraction
----
CategoryAbstraction