A => B; A => C; B => C; A => B; C => A; C => B; A => B