More succint dot implementation