DLV Formals31 – Copy