Introduction of procedure in outline