`[, ctx] =` ?