initial version of fact