Illustrate the correctness of the agreement protocol for authenticated messages using a system of four processes with two faulty processes. You need to consider the following two cases:

(a) The sender is healthy and two receivers are faulty (the remaining receiver is healthy).

(b) The sender is faulty and one receiver is faulty (the remaining receivers are healthy).