Also I kind of think B implies A.