Halfway House a Problem in Deduction