Handshake with fair implementation of Alternation (page 75)