Church-Rosser_property loading ...