Restricting the Theory of Transformations: A Case Study · Study