[lemma=reach] [tag=IN] [lemma=a] [lemma=trust] [!□]
[lemma=reach] [tag=IN] [lemma=a] [lemma=trust] [!□=□]
[lemma=reach] [tag=IN] [lemma=a] [lemma=trust] [!(□ | □)]
Each time a critical point is reached by a trusted principal , he informs the environment by sending a specific message that gives information about its internal state . If that is impractical ensure that the PAC server and proxy you use are trustworthy and reached over a trusted network .