Experiments aiming to discover CP violation in b decay include: