if we passed 'app_system' in the constructor, we 1) would not need this setter; 2) CHECK only once (in the constructor)