A new mathematical preprint develops p-adic homotopy tools and tests when p-complete spaces and étale types can have finite CW models.