A second, rare, application is where a highly generalized or universal assertion is being called into question, and we are able to test it through examining one instance.
The second application isn't rare at all and is commonly used.