No, right. Just using the "formal" syntax.