remove transformation rules and put expectations in the definitions