intersection / env diamond done