semantics of the program
 
Jackets & Vests