Can’t figure out how to run Kenzo about kenzo HOT 3 OPEN

C:\Users\gheber>sbcl --eval "(ql:quickload :kenzo)"
This is SBCL 1.3.10, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.

WARNING: the Windows port is fragile, particularly for multithreaded
code.  Unfortunately, the development team currently lacks the time
and resources this platform demands.
To load "kenzo":
  Load 1 ASDF system:
    kenzo
; Loading "kenzo"

* (in-package "CAT")

#<PACKAGE "CAT">
* (cat-init)

---done---
* (def m23 (moore 2 3))

[K1 Simplicial-Set]
*