We could just write this as "points <= 7" and skip creating a constraint