מי היו התורמים להגדרות הפורמליות?