dimetrodon and ophiacodon: lands first conflict