"Abstractions and errors inevitably compound as the distance increases."

bingo. logical identities are not equivalencies in life.