DEFINE ! == [1] [*] primrec.
6!.