implemented dis/joint conditions