If so, the status of (in c) in Ak should be the same as that of (in /), in Ao: if Ak ascribes to Karl a certain degree of belief in the proposition expressed by (in c), then Ao should ascribe to him the same degree of belief in the proposition expressed by (in c'), and likewise for Karl's degrees of desire.