modification on Extrapositions
Merge pull request #25 from rodsol/r2l

modification on Extrapositions