Unwritten formulas