Construct Synthesis by Panayiotis Kokoras