Gravar-mail: Defining Behaviours by Quasi-finality