drop comment
move capture-avoiding criteria to HygienicCorrectness
concatenate case study works