let
tau_of_loc =
Formula
.
Integer