A Year in Review for Instart Logic