Has Jitta’s algorithm been proved?