Verlet physics extracted from pocket-ces demos