- 2. Y (\fb.bfI) true false
- 3. (\f. (\h. f (h h)) (\h. f (h h))) (\fb.bfI) true false
- 4. (\h. [\fb.bfI] (h h)) (\h. [\fb.bfI] (h h)) true false
- 5. [\fb.bfI] ((\h. [\fb.bsI] (h h))(\h. [\fb.bsI] (h h))) true false
- 6. (\b.b[(\h. [\fb.bsI] (h h))(\h. [\fb.bsI] (h h))]I) true false
- 7. true [(\h. [\fb.bsI] (h h))(\h. [\fb.bsI] (h h))] I false
- 8. [(\h. [\fb.bsI] (h h))(\h. [\fb.bsI] (h h))] false
+ 2. Y (\sb.bsI) true false
+ 3. (\h. (\u. h [u u]) (\u. h (u u))) (\sb.bsI) true false
+ 4. (\u. (\sb.bsI) [u u]) (\u. (\sb.bsI) (u u)) true false
+ 5. (\sb.bsI) [(\u. (\sb.bsI) (u u)) (\u. (\sb.bsI) (u u))] true false
+ 6. (\b.b [(\u. (\sb.bsI) (u u)) (\u. (\sb.bsI) (u u))] I) true false
+ 7. true [(\u. (\sb.bsI) (u u)) (\u. (\sb.bsI) (u u))] I false
+ 8. [(\u. (\sb.bsI) (u u)) (\u. (\sb.bsI) (u u))] false