Thread:Opheuchus/@comment-40174391-20191013153832/@comment-38360307-20191013165433

Does rule 13 imply that 7 o' Clock got demoted?