Factorial imperative