호출 결과가 명시적 입력만으로 결정되는지 비교한다.
같은 입력이면 같은 값이며 외부 상태를 바꾸지 않는다
time·random·I/O·log와 상호작용한다
핵심: interface 주입만으로 DB나 clock 호출이 순수해지는 것은 아니다.