¹²The accuracy of this condition is limited by dt, which makes the points in the Poincaré diagram slightly fuzzy.