// This should not compile because Person is sealed and does not allow PersonaNonGrata as a subclass
public final class PersonaNonGrata extends Person {}