{testing pushdot function}