Cool; I like this new approach to `max_rec`! Nice and general.