1.2.12: Use  for proper semantics here. Functionally they're equivalent here.