Add example for left factorials