Implemented dot, dotc, dotu, but haven't checked whether it works or not