Formal Prision