Collaborations between Dan Malmuth and Lance Henriksen