CEVAP: 1-li yüklem için, A, B dir önermesinin doğruluğunun metafizik açıklayıcısı, A’nın B-lik’i vardır önermesidir. (Aynı biçimde Aksiyom 1 (a) (ii)’e koşut bir aksiyom önerilebilir.) Bu durumda Ahmet’in çalışkanlığı var ise, Ahmet’in çalışkanlığı bir erdemdir önermesi Ahmet’in çalışkanlığı var ise, Ahmet’in çalışkanlığının erdemliliği vardır önermesine dönüşür. Bu son önermede Ahmet’in çalışkanlığının erdemliliği bir ikinci-basamak trop adı olup, Ahmet’in çalışkanlığının erdemliliği ikincibasamak tropunu gösterir. Bir ikinci-basmak tropu, bir somut nesnenin belirlenmiş tikel bir özelliği değil, bir (birinci-basamak tropunun belirlenmiş tikel bir özelliğidir. Şimdi Ahmet’in çalışkanlığının erdemliliği tropuna da, örneğin, erdem yüklemini uygulayabiliriz. Bu durumda Ahmet’in çalışkanlığının erdemliliği bir erdemdir önermesindeki erdem yüklemi aynı biçimde Aksiyom 1 (a)’nın n.inci-basamak (n?2) trop adlarına genişletilmesiyle elenebilir. Böylece bu dönüştürmeler sonsuza dek gider. Bu durumda Sıkı Trop Adcılığı bir sonsuz gerileme sorunu ile karşılaşmış oluyor.