specify constraints in a way which doesnt define the AR