Adding -1 truncation
Adding the principle of unique choice