Email (record): Progress with Formalization in Medical Informatics?