1 realizability analysis: 실현성 분석