Using Procedural Abstraction