Derived embodiment in abstract language. ([2017])