1 strong inference: 강식 추론