Email Record: Символическая логика и разумные машины