VIPs (Very Important Patterns) are patterns that help in extracting the code in the body of each branch of a conditional without needing to know much more about the code. This is possible because each branch is semantically related and distinct.