∇↑s↑◪n∫
∇↑s↑◪n∫