To speak of a mighty knower, who uses his knowledge of these constraints to advance from omniscience about the physical facts to omniscience about the other facts determined thereby, is a way of dramatizing our problem safe enough, so long as we can take it or leave it alone.