Santa 2017 - proofs - crutchfield