mnli premise: More formally, it also bears the name of Franaois Mitterrand, for whom it was the ultimate (but posthumous) achievement of his ambitious building program for Paris. hypothesis: The building bears the name of Mitterrand.