Gravar-mail: A Logical Model of Homology for Comparative Biology