Theory, models, and safety problems (2018)