 This work formed one main strand in the Verifier method which he developed with Joanne Hyde.This is a method for critically re-assessing previous research into difficult problems.The initial stage uses a range of elicitation methods to gain an accurate picture of the assumptions and normal working practices used in the previous work.