let
tau_of_dzone =
Formula
.
ADT
(
"zones"
,[])