Further translation on pattern match