fn lower() -> bool
Down, said, the last step of a session, once all it recorded went out; else it stays up, and the others say what they cannot know until the next session’s export.