Not sure where to start on this, but it's a meaty topic that has almost no discussion in the reference. inferred.md would be a good place to start.