A Hard Problem(2021)