Collaborations between Heinz Bibo and Richard Claxton