Describir: SOLVING THE PROBLEM OF LOGICAL OMNISCIENCE.