DESC-PIC-Formal