Despite Lewis’ dismissal, a number of theories appeal to amphibians (i.e., particularized universals lying between particulars and full-fledged universals) or, more precisely, to entities similar to amphibians. Fine (2017) suggests that structural properties should be treated by invoking arbitrary objects (Fine 1985). Davis’ (2014) account of linguistic types as structural properties confronts the problem of the multiple occurrence of one type, e.g., “dog”, in another (e.g., “every dog likes ano