Adding the principle of unique choice