40-Wallis-rmk