Вывод типа с интерфейсами

Как раз на днях я кулак по ошибке, которая на самом деле заняла некоторое время, чтобы понять. Как-то казалось, что неправильная перегрузка была выполнена при выполнении через унаследованный интерфейс. Взгляните на этот код.

class Program
{
    static void Main(string[] args)
    {
        IBar bar = new Bar();                   
        bar.Execute("TEST");
    }
}


public interface IFoo
{
    void Execute(string value);
}

public interface IBar : IFoo
{
    void Execute(object value);
}

public class Foo : IFoo
{
    public void Execute(string value)
    {
        Console.WriteLine("Foo.Execute - string");
    }
}

public class Bar : IBar
{
    public void Execute(string value)
    {
        Console.WriteLine("Bar.Execute - string");
    }

    public void Execute(object value)
    {
        Console.WriteLine("Bar.Execute - object");
    }
}

Результатом этой программы является "Bar-Execute - object", который для меня кажется немного странным, поскольку более конкретная перегрузка доступна через наследуемый интерфейс IFoo. Может ли кто-нибудь объяснить это поведение?

С наилучшими пожеланиями

Бернхард Рихтер