adding font fix and freezing subgoals