Any precise version of H-D needs to handle various problems, most notably, the problem of selective confirmation: Precise formulations of H-D should not have the consequence that where S confirms T, for any T', S confirms T&T'. It is the perceived failure of H-D to solve such problems that has lead John Earman to recently conclude that H-D is "very nearly a dead horse". This suggests the follow...