## Keyboard shortcuts

Press `←` or `→` to navigate between chapters

Press `S` or `/` to search in the book

Press `?` to show this help

Press `Esc` to hide this help

- Auto
- Light
- Dark

# Algorand Specifications

On observing Vote(I,r,p,0,v) if Proposal(v)∈P then the player broadcasts Proposal(v).

In other words, if Proposal(v)∈P,

N(S,L,Vote(I,r,p,0,v))=(S′,L′,(Proposal(v))).