We don’t need to end a protocol definition with “Protocol”.