yet some abstractions are more deterministic than others