Formal Downward Communication