for some, for all

 https://rip94550.wordpress.com/2010/04/19/logic-all-and-some/