Proofs - Look 1 - LBD & BoaProofs - Look 2 - LBD & HatProofs - Look 3 - LBD no hatProofs - Look 4 - GKweb