Simple model counting working (1 by one...)