New features for "]"
Concurrent definitions