Infer & prove it
Practice
Next passage