Thinking About It(2) by Coq Freisenberger