Good news! Dimetrodon officially has precedence over "Bathygnathus", according to the ICZN .