Bishop and Trout on reasoning - Smokrović, Nenad (Array, 2007)