paxos algorithm - how does the propose stage work?

Question

I am looking at the pseudocode for the PROPOSE stage of the paxos algorithm: https://www.cs.rutgers.edu/~pxk/417/notes/paxos.html

did I receive PROMISE respon