b'
Start of discussion on how to prove confluence for untyped lambda calculus.\\xa0 Also some discussion about the research community interested in confluence.