Updated Program, Receiver, and Sender to use properties