Hmm I see we define it manually a bit further, maybe we could just drop this statement?