Deakstadieđáhus: Proof of a Program: FIND