Theory of 3-4 Heap