Empty list already satisfies the heap condition, see https://stackoverflow.com/questions/65585351/heapop-and-heappush-with-a-regular-list-non-heapified-list.