f([[a, B, ""], B]). f([['1', ""], '']).