문득 그런 생각이 들었다. 결국 모든 것은 if 에 대한 것이 아닌가 하는. 예를 들어보자. 내가 만약 임의의 자연수 k가 몇인지를 확인하려 한다고 생각해보자. 그럼 다음과 같이 물을 수 있다. k는 몇 인가?