since it can't be satisfied, there's no point