maybe we can define it this way?