Do we know this is deterministic?