Skip to content

Conversation

@eisenwave
Copy link
Member

Fixes #5224.

@eisenwave eisenwave added the P3-Other Triaged issue not in P1 or P2 label Nov 16, 2025
@jwakely
Copy link
Member

jwakely commented Nov 16, 2025

"If defined, [it] is defined a follows" is a bit repetitive.

An alternative would be "X is not defined if V does not model C; otherwise it is defined as follows". I don't really like the double negative in that though.

@eisenwave
Copy link
Member Author

What about

If these conditions are satisfied

The point of the fix is to disambiguate between whether "In that case" refers to only one of the conditions in the preceding sentence, or to all of them combined. If we refer to them in plural, that also works.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

P3-Other Triaged issue not in P1 or P2

Projects

None yet

Development

Successfully merging this pull request may close these issues.

P2441 Fix "In that case"

2 participants