A logical strategy for ruling