fact.cpp comment