David Armstrong and David Lewis's functionalist realism holds that higher-order properties are type-...