overdefined