oops, forget second half of redundancy reduction