renamed ll19→outside_reduces_domain, and documented