4e82db093a
Document in the resolution concept documentation why we add lower bounds --------- Co-authored-by: Zanie Blue <contact@zanie.dev>