#!/usr/bin/env python3
 
-# This example is inspired from a math question in the French baccalauréat 2014,
+# This example is inspired from a math question in the French baccalauréat 2014
 # consisting in computing the intersection of a plane with a line.
 
-from linpy import *
+from linpy import Eq, symbols
 
 x, y, z = symbols('x y z')
 plane = Eq(x, y) & Eq(z, 6 - 2*x)