find out why substitution causing factorial to disappear

[crowlogic]

BinaryOperation.substitute(name=z, transformation=x) into this=β[k]⋰n
before subst: β[k]⋰n
 after subst: β[k]⋰n
before subst: ((z^n)*Πk➔α[k]₍ₙ₎{k=1…p})/((n!)*Πk➔β[k]₍ₙ₎{k=1…q})
 after subst: ((x^n)*Πk➔α[k]⋰n{k=1…p})/(n*Πk➔β[k]⋰n{k=1…q})

n! turns into n for some reason

[crowlogic]

Shark jumped here