lean constraints a