 Berger and Ishihara [2005] have taken a different, indirect route to establishing the equivalence of POS and FT\(_c\). They establish a chain of equivalences between POS, FT\(_c\), and four principles of the type “if there is at most one object with property \(P\), then there is one such object”. The four unique-existence principles are: