논리적으로는 항상 어떤 무엇이 있는게 아니라,


무엇을 가진 무엇이 있을 뿐이지.


그리고 도출될 결과가 정해져있는 알고리즘에서는 이 차이가 명확하게 설명됨.