471 : k ] assms S(