(non contraint)