Find!
x1 supposes x2=j1 (du'u), which is false by epistemology j2
See also dumborjifru'a for assuming something to be false.