constraint notation revisited