¿[(abc)-->(abd)]==>[(xyz)-->(wyz)]?
#logic #analogy