def where() -> str: ...