9-Wallis-rmk