update "Proofs without words"