I want to understand how the process of min-max heap deletion work, I've searched the pseudo-code of it but found nothing, and it seems like I cannot ask for the pseudo-code here. So here is my problem

Can anyone show the logic of "delete of min element 7" at least let me know how the pseudo-code "feel like"?
Edit: In case people think I try nothing here is another slide:
[1.1] I don't understand:
(4-th line): ... and then reinsert into the min-max heap.
Is the "reinsert" here calling the original insertion procedure? Or it just mean the cases following it?
[1.2]
(8-th line): The smallest key in the min-max heap is one of the children or grandchildren of the root.
I'm not sure whether the "grandchildren" recursively include their grandchildren.
Slide:

I can understand the "VerifyMax" procedure used in insertion, not sure whether this procedure will be used in deletion...:

Elemetn-- a clear sign that the code wasn't tested -- and which are written in a language in which the author is fluent.) But anyway: yes, grandchild means precisely grandchild, nothing more, and reinsert probably means the code from the heap construction.