Redundant

Published by David Schach,