Making and Verifying Conjectures about Lines