Hot: equations-involvingthefactorial