Logic Results