inference procedure section of doc updated