Derring to interpreter for logic