A Substitution Model for the Kernel of Scheme by Grant Ho