Redefine theorems to use bookend