Where a logical prop. has a ˇmain . ⊃ . we may infer the right hand side from the left.