missing some constraints