resolution
notes.txt syntax of fol