A Hard Problem (2021)