... . If the conditional says IF F + I, then U. And ... the have done /U and F+I. But the premises ... that they have not done F. And /f and /I are each ... they were in violation of F+I then U, then ... premises say they have satisfied /F, therefore they have satisfied the ...