Procedure definition and application.