Preserving term interface write-up