rollback on the interface of Subst: empty mustn't take an argument,
it's logtk's duty to make it easy to use