It sure compiles

Some injection of response handler in the right places

Makes use of transaction obligations