“S çubuğu t anında iki metredir” tümcesi hiçbir ölçüme gerek duymadan a priori olarak bilinebilir. Ancak bu tümce zorunlu bir olguyu dile getirmez. Eğer ki çevresel faktörler farklı olmuş olsaydı tam tanım anında bu çubuk o andaki gerçek uzunluğundan biraz daha kısa ya da uzun olmuş olabilirdi. Yani tam t anında S çubuğu iki metre uzunluğunda olmayabilirdi. Bunu dilsel yoldan da şu şekilde gösterebiliriz. Tanımı verildikten sonra “metre” terimi belirli bir uzunluğun adı olur ve tüm olanaklı dünyalarda bu uzunluğa gönderme yapar: yani “metre” zorunlu imleyicidir. Diğer yandan S çubuğunun t anındaki uzunluğu bir tekil betimlemedir ve farklı olanaklı dünyalarda farklı uzunluklara gönderme yapar. Bundan dolayı “S çubuğu t anında iki metredir” gerçek dünyamızda doğru bir önerme olsa da, farklı olanaklı dünyalarda yanlış bir önerme olur. Yani bu önerme olumsal bir doğrudur. Bu tür örnekler yoluyla Kripke olumsal a priori önermeler olduğu sonucuna varır. Doğru cevap C'dir.