 Moreover, Church added that if we assume that the objects of linguistic understanding and (other) propositional attitudes are propositions (cf.  §3.3  and  §6.3),  then propositions are also an essential part of any adequate causal explanation of behavior.