Why make substitutions so late ?