couldn't fix the non determinism...