.
d star ekeq