Autocomplete Jokes

Knock knock!
    Who's there?
Subtraction
    Subtraction who?
Subtraction property of equality!