Use FS as the set-logic string for theory of sets