Collaborations between Tom Nagel and Lance Henriksen