This figures illustrates a static check with a Check Knowledge Module