DIP (
Dip (extended version)
Dip (The Dip)