Syntax 2014 prod: assorted lines