People are everywhere
	P: People are everywhere

Unecessary:
	If there is a place, that place has people
		L: is a place
		H: has people
		L → H

I don't like cake
	L: I do like cake
	¬L

I do like non-cake


Most visitors ask about the secret passage behind the piano
Most visitors ask about (the secret passage behind the piano)
	A: Most visitors ask about the secret passage behind the piano
Most visitors ask about the secret passage while the visitors are behind the piano
	A: Most visitors ask about the secret passage
	B: the visitors are behind the piano
	B → A (sort-of)
	

If you can run a marathon you can win this race
	P: you can run a marathon
	Q: you can win this race
	P → Q


If you give me food (including caserole, I like caserole) then I'll eat it unless I don't like it

	G: you give me food
	E: I eat the food
	L: I like the food
	C: I like caserole
	Q: Caserole is food
L → (G → E)			∧ Q ∧ C
(L ∧ G) → E			∧ Q ∧ C
(G → E) ←→ L		∧ Q ∧ C
0	0	0	0
0	0	1	1
0	1	0	0
0	1	1	1
1  0	0	1	0
1  0	0	0	1
1	1	0	0
1	1	1	1







If the input list has n elements, this algorithm will take n² steps to complete

if you learned sorting and searching algorithms then you learned either mergesort or quicksort, but we actually use Timsort instead

I know my program works because I ran 2.7 million tests

I know my program works because I proved it has no index errors, no overflows, and no non-local jumps

No Person shall be a Senator who shall not have attained
to the Age of thirty Years, and been nine Years a Citizen of the United States, and who shall not, when elected, be an Inhabitant of that State for which he shall be chosen.

The Senate shall chuse their other Officers, and also a President pro tempore, in the Absence of the Vice President, or when he shall exercise the Office of President of the United States.