Debug AND Lambda calculus
Common descendants