Find!
x1 replaces/substitutes for/instead of x2 in circumstance x3; x1 is a replacement/substitute.
[also: x1 trades places with x2]; (cf. cmavo list ba'i, binra)