Specifying the Beer and Salsa