More work on problems for (def shef 2)