These sets do not change over runtime