all constraints done