Gravar-mail: Position paper: the science of deep specification