How to obtain a recursively enumerable subshift with a bidimensional SFT