Title: Deletion and variable binding