Export `consistent?' and `inference.'
Parameterize `consistent?' and `inference.'