Davidson's suggested method of attacking this sub problem (which he regards as only a sketch of the main features of a fully adequate method) is to fill in the beliefs in Ao and the truth conditions (and auxiliary machinery)