added Verlet function