Simple Logic