Simple Logic Models Examples