Find!
If x1 has the property x3, then x2 also has it; x1 having property x3 necessitates x2 having that property
See nibli.