let is_theorem config = config.is_theorem