Someone in these comments said the paper on Barnette's Conjecture is short. Are any other proofs in this collection short and/or understandable?