The redundant sign to end all redundant signs?