Working on stubstitutions