Lines and Logic