simple model counting