Deleted some more basic old BRISK stuff