DLV Formals24 – Copy