New constraints, standard verlet integration