RF: defined @abstractmethod properly