AnalyticalConsistencyChecking Members