Making Sense of Internal Logic Theory and a Case Study - Tsuda, Ichiro; Hatakeyama, Motohiko