Question on Dale's provisional semantics doc

Dale,  I downloaded your provisional semantics guide and in your example, it shows ImplemenationArtifacts defined in the NodeType.  These should be in the NodeType implementation. Were you showing what it would look like collapsed?  Thanks, Travis