redundant operation