FORMAL PRISION