smooth-fact