Adds 11.5.2. code