G:15                 If (|| ≥ K)