extract substitutions()