Given Karl's beliefs as expressed in his own language (part of Ak), Davidson asks how to solve both for Karl's beliefs as expressed in our language (part of Ao) and for the truth conditions of full sentences of Karl's language (part of M).