z3_cut: “t.co/0HdX0uSncK”