assumed constraints (1)