De manera formal: