Sketch the design and implement the (line expansion + direct evaluation) case