Explain why Dr$.$ WhyLie must be lying. Note: Does your argument imply that a priority queue with O$($log n$)$ time insertion and O$($log n$)$ extraction cannot exist? If so$,$ your argument is invalid, because this type of heap does exist.