redundant regularity, which reduces