Diagramming techniques - Sufficient/necessary conditions in games