This should be checked in constant time.