information about Deep inference field