∀x,eq,f,d:Top.  (<d, f>(x) ~ f x)
{ (UnivCD THENA Auto) }
1. x : Top
2. eq : Top
3. f : Top
4. d : Top
⊢ <d, f>(x) ~ f x