Where did it say the liability only applied to non-deterministic software?