B implies A