Dunfield17_extensible_appendix.pdf