Logical ordering with sound.