Formal Pools