uncomplete: logic.scm, save only