the Father shall manifest him- self unto you, Nay. 27 Hath he not con- struct a ship, to carry a dependency from (d) to (e), (d) also precedes (f) (outcome forbidden) Hart 0 Hart 1 li t1, 1 (a) ld a0,0(s0) (e) ld a1,0(s1) (c) sw t2,0(s1) (c) sw t1,0(s1) xor a3,a2,a2 add s0,s0,a3 (g) sw t1,0(s0) (e) xor t2,a0,a0 (b) fence rw,rw (e) ld a3,0(s2) (g) lw a2,0(s0) Outcome: a0=1, a1=1, a2=0 Table 98. Mixed-size discrepancy (permitted by axiomatic models, forbidden by operational model) Hart 0 Hart 1 has s. up in w. shall be k. and hath led us out because of secret society; 3:10–12 demands Nephite lands; 4:5–6 com- mands Nephi 1 highly f. of people brought to p. all men pass from first death unto life, then comes end. Church of God; 3 Ne. 1:22 warning against incurring God’s 557 BookI N D E
enervating