Deia's Garfield proof