> A heap (really, an object reference digraph) is a mathematical object that you can prove theorems about. So is a Pseudo-Riemannian manifold. But neither of

> A heap (really, an object reference digraph) is a mathematical object that you can prove theorems about. So is a Pseudo-Riemannian manifold. But neither of these is what the person was asking questions about. They were asking about programming on computers with operating systems.