His velocity is a derivative