Update dev_durable.tex