refining open logic