Necessary DK objects in the Invector scene