moretti-compact-def