No. 21 (1999): RS-21 An Extensional Characterization of Lambda-Lifting and Lambda-Dropping