The Synthesis System | A Framework for Advanced Logic