De under(under(dog)) is top(dog)