We have noted that indication is a relation between facts and propositions. We have also said that what underlies information are laws or constraints involving types of situations. So what are all these things? And what precisely are we saying about them?