Comment of the Ravindra Alur record card