A Logical Model of Homology for Comparative Biology. (9th October 2019)