functions understood, all that is assertable asserted, and two factorials added!