DLV Formals31