i k r , ¬ i r . s1