WIP requirement con/dis-junction