24.11.2016 Tipo di contenuto: The Inevitability and Ubiquity of Cycling in All Feasible Legal Regimes: A Formal Proof