Comment by Moshiii on Val.v

Comment on ReplyVal.v