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 .
There is a third , even rarer , application that can be used .