broadcast notation
Add requirement