#lifting rule

1 story