first order logic fol 426672