This video demonstrates how to check rules for logical problems. You can check for conflicts, incompleteness, hidden dependencies and unintended loops during the development process.