They were even planning what might best be done to chastise him when he discovered in some manner a book of elementary conjuration and did then devise some strange new formula from the elements with which magic he disappeared."  It was nice to know that Einstein had given up on the problem, Dave thought bitterly.
They were OK with him and he didn't have to do anything.
mnli hypothesis: They were OK with him and he didn't have to do anything. premise: They were even planning what might best be done to chastise him when he discovered in some manner a book of elementary conjuration and did then devise some strange new formula from the elements with which magic he disappeared."  It was nice to know that Einstein had given up on the problem, Dave thought bitterly.