Examples and exercises