In the notes, removed UserVars, and stopped annotating Facts with them.