mkNoScope n@ProfNote{}                    = n {profNoteScope = False}
mkNoScope n@ProfNote{}                    = n {profNoteScope = False}
mkNoScope n@ProfNote{}                    = n {profNoteScope = False}