f T * R |-