A property that is possibly but not actually instantiated can still serve as a proposition component...