proof was already in dot.elf. copied around. done