Added notes on definitions and instances.