G:8                 If (|| ≤ K)