1.1.8 Procedures as Black-Box Abstractions