Add rules of Invers (#11)