If x is tied to its properties by the asymmetrical relation of instantiation, then F-ness is a logic...