A
→ B