added first order logic section
added fol
added fol