Rules for De-Abstraction