Maximum element (#7846) - Basecamp