 After noticing the failure of subjunctives to contrapose, Sosa proposed that we should replace Nozick’s sensitivity condition with its contrapositive, which Sosa calls a ‘safety’ condition. The following formulation seems to capture Sosa’s intent: