AUTO FORMAL PRISIÓN