F

i) There is an F.
ii) At most one thing is F.
iii) Everything that is F is F.
iv) There is an F.