The identity reduction witnessing reflexivity is trivially well-defined only if problems are individ...