$[y[,],[*],[`[`(yyyy[*],[`[`(yyyyy[,],[*],[`[`([y[,],([*]][`[