overriding prelude to make independence tests pass