// Sealed: to be implemented