[project @ Updated number equalities.]