Conv_A(Unknown_B) -> Unknown_A.