An error-prone checker which requires that classes be final, abstract or annotated with @ Open.
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).