Accessing Model Check Functions