Forcing algebra/Transformation behavior/Motivation/Remark