But it isn't really verlet, I don't think it will converge like a 'standard' verlet implementation with constraints (like molecular dynamics cats use) - the effective stiffness of the objects here is dependent on the time step.