https://www.ifsqn.com/forum/index.php/topic/21583-how-to-prove-commitment-towards-clause-852-and-851/