B -> from f to {} A <- from f to {} C