more laziness; 4 factorial now works