Factorial example is now really reversible.