Knowledge can refer to a theoretical or practical understanding of a subject. This was the point of Ryle's distinction between "knowing that" and "knowing how". It can be implicit (as with practical skill or expertise) or explicit (as with the theoretical understanding of a subject); it can be more or less formal or systematic. In philosophy, the study of knowledge is called epistemology. The philosopher Plato defined knowledge as "justified true belief". This definition is the subject of the Gettier problems. 