Borrowing memory that's being used: catalytic approaches to the Tree Evaluation Problem - James Cook