this is the "is all knowledge propositional knowledge" question