I didn't assume the translations would be lossless. It's obvious there will be conceptual mismatches but that's why this is interesting. Because when the abstra

I didn't assume the translations would be lossless. It's obvious there will be conceptual mismatches but that's why this is interesting. Because when the abstract model is made concrete people can notice the gaps and improve the abstract model. I can imagine a feedback loop that improves both the abstract and concrete/translated models as people work on improving both to reduce the conceptual gaps between the abstract and concrete models.