the `sealed` looks a bit baroque here