[□] □
[□=□] □
[!□] □
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 .