Find!
x1 is redundant/unnecessary with x2 because they both satisfy property x3 (ka) under conditions / because of reason x4 (nu/du'u)
See also simsa, nalra'a.