live constraints