The effect of using logic is inference.