Expand "redundant". Fixes #84