Looks like @galshalev hasn't commented yet!