([A]->[B])[C]