Joint authors: John Wrightson and John Clark Newsham.