Introduce the local definitions