Church-Rosser_via_complete_development.elf