Now featuring destructive substitution!