|| and //