or-and junction: case8.dia