We distinguish between knowledge of propositions, or propositional knowledge, and know-how, or ability knowledge. In order to have knowledge of a proposition, that proposition must be true, and one must believe it. Mere true belief does not suffice for knowledge, however, since one can gain mere true belief purely by luck, and yet you cannot gain knowledge purely by luck.