Added proper definition of double sided inference