Title: Increasing Programmer Productivity Through Logic Development,