#isabelle #generic isabelle #work mistake #performance decline #try again #project failure #redo work #back to drawing board