Two types of knowledge