simplify butterfly statements