The 3rd principle:

ما لا يتم ترك الحرام إلا بتركه فتركه واجب If avoidance of Ḥarām is not possible except by avoiding a particular matter, then avoiding that matter becomes Wājib