Started 3-sphere triangulations, linted, compiles