Added messaging pseudocode