1 Model and 1 Rule Counter