Source: https://www.econstor.eu/bitstream/10419/144583/1/GTCJ_4%285%29_Weerth_Proofs_WCO_structure.pdf