It is not the case that Kaplan's 'dthat' operator and his own formal system demonstrate that context alone can fix reference for all directly referential terms without invoking a separate circumstance parameter.
?Set your confidence on the premises below to see your aggregate.