2For example, xx + yy is a sub-formula of 0 min(1..xx + yy)