logic of burrows abadi needham 7168713