## 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 a timeout event of FilterTimeout(p) (where
μ=(H,H′,l,pμ)=μ(S,r,p)),

- if μ≠⊥ and if
  - pμ=p or
  - there exists some s>cert such that Bundle(r,p−1,s,μ)
    was observed then the player broadcasts Vote(I,r,p,soft,μ).
- if there exists some s0>cert such that Bundle(r,p−1,s0,v¯)
was observed and there exists no s1>cert such that Bundle(r,p−1,s1,⊥)
was observed, then the player broadcasts Vote(I,r,p,soft,v¯).
- otherwise, the player does nothing.

> For a detailed overview of how the filtering step may be implemented, refer to the Algorand ABFT [non-normative section](https://specs.algorand.co/abft/non-normative/abft-nn).

In other words, in the first case above,

N(S,L,t(FilterTimeout(p),p))=(S,L,Vote(I,r,p,soft,μ));

while in the second case above,

N(S,L,t(FilterTimeout(p),p))=(S,L,Vote(I,r,p,soft,v¯));

and if neither case is true,

N(S,L,t(FilterTimeout(p),p))=(S,L,ϵ).