Email Record: Sequential machines ;