clarifying comment on parallel add nondeterminism