Thanks jpdoctor. Could you elaborate on what you mean by formal defn? Who defined them, out of which principles or goals? (I understand that this might have multiple answers)