I know. But it's the only wording I could think of to resolve #14