Working on constrained declarations.