(B→S)ってのは、現状Bを、Sに変えるってことかね?