A study of the effect of redundancy on comprehensibility