13-5.4.1 Factorial expressions