implicitly defined