Adds non-closure corollary.