new file: fact.ss