Review of: Gabbay, Murdoch J.; Mulligan, Dominic P. Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inform. and Comput. 208 (2010), no. 3, 230–258