Pick out mixedProperly logics, rename old mixedProperly to mixingProperly