add higher order reasoning talk