Iaco 468 origin proof

Again, I'd rather not introduce variables that aren't necessary.