 The outcome is hardly a satisfactory theory. Galston (1981) offers reasons for thinking that al-Fārābī may have considered demonstrative proofs a distant ideal, to be reached only after a substantial amount of work at the dialectical  level.[18]