 ... Once more, this implies that a mechanism cannot specify a cause-effect repertoire at a particular temporal grain, and additional effects at a finer or coarser grain, otherwise the differences a mechanism makes would be counted multiple times.For a complete and thorough account of the mathematical formalization of IIT, see reference.What follows is intended as a brief summary, adapted from, of the most important quantities involved.