13-Wallis-rmk