CarryOut: or (carryin,propagate),HasCarry