coanalogousness_deduced