Unknown terms and formulas