Documentation | Performance and correctness > Non-determinism in Contour