redundant laws even