Similar to Quantifier (Math) in that: How-possibly is an existence demonstration How-actually is a for-all proof