explicit ordering def