Formal frameworks