added substitute ~zk