Collaborations between Dick Huemer and Homer Brightman