Made substAlt pure.