I feel like he needs to draw the diagram differently to create a better understanding. If you claim sufficiency for a subset, then the arrows need to point down. However, if you claim necessity for a superset, the arrow needs to go upwards. I feel like that may make better sense if trying to graph it on your own.