if proposer(h_p , round_p ) = p then
if validValue_p != nil then
proposal ← validValue_p
else
proposal ← getValue()
broadcast ⟨PROPOSAL, h_p , round_p , proposal, validRound_p⟩.

More details can be found in https://github.com/tendermint/spec.