https://whatscq.blogspot.com/2023/05/what-is-binding-constraint.html