Added tests and an opposite rule