TFNP: An update - Goldberg, P; Papadimitriou, C (International Conference on Algorithms and Complexity, CIAC 2017, 2017)