this constraint doesn't make sense to me