Paul Lantos on DEDUCE