fixed reversed concat in core theory