Comment of the Michael John Mullen record card