Introduce definition