Re-typed expamples to make sure I understand them