Defining the degenerate 'Irving' entity ...