Collaborations between Brian Witten and Benjamin DeWalt