default and post factorial