New logic on part of