Minimum among maximums (#9565) - Basecamp