Don't Trust in Incomplete Machines