Update HelloWorld_2

new notation for inclusions.