Developers: mathematicians are dumb because they think a set can be both closed and open Also developers: this local clone is both ahead of and behind its origin