1-Wallis-rmk