François Bry: Upside-down deduction. BDA 1990: 91-