Discussion about problems_are_hard