Left Side Msg passing seems complete, need proof