Exactly! Usually, the designed conceptual model imposes constraints on the implementation. Sometimes, the implementation affects the conceptual model (a leaky

Exactly! Usually, the designed conceptual model imposes constraints on the implementation. Sometimes, the implementation affects the conceptual model (a leaky abstraction). But they are logically orthogonal. And you can't "abstract away" the conceptual model as if it were an implementation detail. The conceptual model IS the abstraction!