guessFact
