Use destructive substitution.