1. Normal - infinite loop. Trying to find (p) through itself
2. Applicative - get 0. 'If' does not need (p) to calc expression