Invalid url! /fragments/20160126-simplification-reduces-the-base-case-nil-and-the-induction-step-simplification-leaves-us-with-the-black-extra-cosmic-gulfs-it.html