improper constraint