theoretical IF: