Slipping Through Dimension 9 by Coq Freisenberger