Title: Church penal law in default mode?