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