Files
manual_slop/conductor/archive/mma_formalization_20260225