States A Rule Using Variables