Added 'do clicks matter' proofs to writeup.