Email Record: Automated reasoning for systems biology and medicine /