The situation with the four cardinals who sought and failed to get clarification from the pope on Amoris Laetitia is a fascinating one. For those not aware of what has been going on there is a summary here.
What interests me is what kind of canonical procedure the four plan to use for their formal correction of the pope. I don`t have any doubts about Cardinal Burke`s vast canonical expertise but all I can get as far as is canon 1404 Prima sedes a nemine judicetur ( The First See is judged by no-one). Yet Cardinal Burke says there is a procedure for correcting a pope so I look forward to finding out what it is and how it works. Apart from St Paul challenging St Peter at Antioch all that comes to mind is the posthumous trial of Pope Formosus (Pope Beautiful!) in 897.I wonder what precedents Cardinal Burke has in mind? Interesting times indeed.