yes, I’ve seen that you use the implicit sender now instead of an explicit one; I remarked here mainly because of the visual inconsistency between Write and Written (i.e. either use the implicit sender in both cases or not at all; I tend to favor the latter because it is harder to get wrong)