Comment of the J. Lakshmikanth record card