Find!
x1=n1's promise of x2=m1=n2 to x3=n3 is fulfilled in aspect x4=m2 by standard x5=m3; x1 is faithful.
See also: nupmulgau for follow-through and ‘is faithful’.