redundant law

Auto Added by WPeMatico