Refactors to implicitly imply abstract