specify redundant in 4.1