(>) TM: "!"