[PD] env~ with heisenberg principal builtin