Exercise 1.5

(define (p) (p))
(define (test x y)
    if( (= x 0)
    0
    y))
(test 0 (p))

これって、applicative order evaluationの時は出力0で、normally order evaluationの時は停止しない…でいいんだよね?