Iaco 468 origin proof

Since this is a tad convoluted, maybe we should at some later point add a comment with links to the relevant documentation?