modification on Extrapositions