show SO on exact inference