De formella förklaringar ,sorn