A judge can record that in the official court records.