Can we add a test without this constraint? Should it work?