Added TODO about finding nondeterministic bit which is broken.