No warnings about constraints